Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
751	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
752	Hierarchical Automatic Function Definition in Genetic Programming John R. Koza Computer Science Department Stanford University Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:17:24 Abstract algebra Functions and mappings Propositional calculus Logic Circuit complexity Parity function Function Boolean data type Parity Mathematics Boolean algebra Mathematical analysis
753	Suppl : A Flexible Language for Policies Robert Dockins and Andrew Tolmach Portland State University Abstract. We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, exe Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-09-11 10:05:46 Programming paradigms Prolog Predicate Logic programming Logic Mathematical logic Mathematics
754	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory
755	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:52 Mathematics Algebraic logic Boolean data type Logical disjunction FO Boolean algebras canonically defined Abstract algebra Boolean algebra Mathematical logic
756	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
757	abstract Task Oriented Programming with Purely Compositional Interactive Vector Graphics Peter Achten Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional languages Generic programming Haskell Literate programming International Conference on Functional Programming Domain-specific language Combinatory logic ALGOL 68 Software engineering Computing Programming language theory
758	Formal approach to security metrics. What does “more secure” mean for you?∗ Leanid Krautsevich Fabio Martinelli Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2011-02-01 10:09:07 Deduction Algebraic geometry Field theory Valuation Entailment Metric Abstract algebra Logic Geometry
759	Branch and Bound in a Data Parallel Setting Extended Abstract Sven-Bodo Scholz Heriot-Watt University [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Mathematical optimization Algorithm Mathematical logic Branch and bound NP-complete Applied mathematics Theoretical computer science Mathematics
760	READING A JOURNAL ARTICLE It is desirable to sift out reliable and relevant information from the deluge of publications that are available for study. An essential component in this process is the critical appraisal of wr Add to Reading List Source URL: www.surgery.uwa.edu.au Language: English - Date: 2009-09-11 01:41:39 Knowledge Design of experiments Formal sciences Abstract Academic publishing Statistical hypothesis testing Logic Intelligence quotient Psychometrics Statistics Science

UPDATE